Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
241	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2001-11-07 07:43:47 Computer science Formal methods Logic in computer science Programming language semantics Diagrams Petri net Process calculus State transition system Formal language Models of computation Theoretical computer science Concurrency
242	PDF Document Add to Reading List Source URL: statmath.wu-wien.ac.at Language: English - Date: 2006-01-29 11:19:11 Stochastic calculus Itō calculus Wiener process Mathematical finance Stochastic differential equation Semimartingale Girsanov theorem Quadratic variation Albert Shiryaev Statistics Stochastic processes Martingale theory
243	PDF Document Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2013-08-26 05:37:03 Formal methods Computing Software engineering SIGNAL Esterel Lustre Adder Dataflow Process calculus Hardware description languages Synchronous programming languages Electronic engineering
244	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2001-07-27 07:39:36 Process calculi Theoretical computer science Inter-process communication Functional languages Actor model Π-calculus Join-calculus Lambda calculus Process calculus Computing Software engineering Computer programming
245	PDF Document Add to Reading List Source URL: espace.library.uq.edu.au Language: English Communicating sequential processes Enterprise modelling Behavior Trees Actor model Model checking Process calculus Concurrent computing Process calculi Computing
246	PDF Document Add to Reading List Source URL: recomb2000.ims.u-tokyo.ac.jp Language: English Theoretical computer science Applied mathematics Programming language semantics Logic Calculus Semantics Process calculi
247	PDF Document Add to Reading List Source URL: www.teigfam.net Language: English - Date: 2006-06-20 10:02:26 Process calculi Synchronization Communicating sequential processes Occam Message queue Process calculus Specification and Description Language Asynchronous I/O Promela Computing Concurrent computing Inter-process communication
248	PDF Document Add to Reading List Source URL: formal.cs.uiuc.edu Language: English - Date: 2003-11-10 12:46:30 Concurrency Actor model Theoretical computer science Concurrent computing Inter-process communication Π-calculus Process calculus Lambda calculus Futures and promises Mathematics Computing Process calculi
249	Untitled Add to Reading List Source URL: alexandria.tue.nl Language: English - Date: 2010-09-07 09:09:49 Concurrency Computer science Communicating sequential processes FDR2 Process calculus Divergence Concurrent computing Computing Process calculi